Finitely presented monoids with linear Dehn function need not have regular cross-sections
نویسندگان
چکیده
This paper shows that a finitely presented monoid with linear Dehn function need not have a regular cross-section, strengthening the previously-known result that such a monoid need not be presented by a finite complete string rewriting system, and contrasting the fact that finitely presented groups with linear Dehn function always have regular cross-sections.
منابع مشابه
A Countable Family of Finitely Presented Infinite Congruence-free Monoids
We prove that monoids Mon〈a, b, c, d : ab = 0, ac = 1, db = 1, dc = 1 dab = 1, dab = 1, . . . , dab = 1〉 are congruence-free for all n ≥ 1. This provides a new countable family of finitely presented congruence-free monoids, bringing one step closer to understanding the Boone–Higman Conjecture. We also provide examples which show that finitely presented congruence-free monoids may have quadratic...
متن کاملOn Dehn Functions of Finitely Presented Bi-Automatic Monoids
For each automatic monoid the word problem can be solved in quadratic time (Campbell et al 1996), and hence, the Dehn function of a nitely presented automatic monoid is recursive. Here we show that this result on the Dehn function cannot be improved in general by presenting nitely presented bi-automatic monoids the Dehn functions of which realize arbitrary complexity classes that are suuciently...
متن کاملOn Regularity of Acts
In this article we give a characterization of monoids for which torsion freeness, ((principal) weak, strong) flatness, equalizer flatness or Condition (E) of finitely generated and (mono) cyclic acts and Condition (P) of finitely generated and cyclic acts implies regularity. A characterization of monoids for which all (finitely generated, (mono) cyclic acts are regular will be given too. We als...
متن کاملInnnite Convergent String-rewriting Systems and Cross-sections for Monoids
A nitely presented monoid has a decidable word problem if and only if it can be presented by some left-recursive convergent string-rewriting system if and only if it has a recursive cross-section. However, context-free cross-sections or even regular cross-sections do not suuce. This is shown by presenting examples of nitely presented monoids with decidable word problems that do not admit regula...
متن کاملFractional Isoperimetric Inequalities and Subgroup Distortion
Isoperimetric inequalities measure the complexity of the word problem in finitely presented groups by giving a bound on the number of relators that one must apply in order to show that a word w in the given generators represents the identity. Such bounds are given in terms of the length of w, and the function describing the optimal bound is known as the Dehn function of the group. (Modulo a sta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1203.0473 شماره
صفحات -
تاریخ انتشار 2012